Equational Logi of Polynomial Coalgebras

Equational Logi of Polynomial

Equational Logic of Polynomial Coalgebras

A Complete Calculus for Equational Deduction in Coalgebraic Specification A. Corradini a Complete Calculus for Equational Deduction in Coalgebraic Speciication

The use of coalgebras for the speciication of dynamical systems with a hidden state space is receiving more and more attention in the years, as a valid alternative to algebraic methods based on observational equivalences. However, to our knowledge, the coalgebraic framework is still lacking a complete equational deduction calculus which enjoys properties similar to those stated in Birkhoo's com...

A Complete Calculus for Equational Deduction in Coalgebraic Specification

The use of coalgebras for the speci cation of dynamical systems with a hidden state space is receiving more and more attention in the years, as a valid alternative to algebraic methods based on observational equivalences. However, to our knowledge, the coalgebraic framework is still lacking a complete equational deduction calculus which enjoys properties similar to those stated in Birkho 's com...

Coalgebraic Expressions

We show that certain fixpoint expressions used to describe finite Kripke polynomial coalgebras can be seen as coalgebraic modal fixpoint formulae. Both the synthesis of a coalgebra from its expression and the ability to check behavioural equivalence follow from the same tableau construction. There is an associated complete equational logic, analogous to Kleene algebra, which may now be seen as ...